A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

This article examines the current problems and tension that characterize the idea of the right to have rights, considered as a cornerstone of the European Union's project. The systemic deficit matter is discussed as the main problematic to achieve the entirety of the previous concept, and some systemic deficit profile are identified. Moreover through the example of the Greek experience the article shows a possible way of common action to solve the systemic deficit. Finally, the authors talk about how to (...) evaluate these kind of interventions and what are their risks. (shrink)

Many nongovernmental forms of business regulation aim at reducing ethical violations in commerce. We argue that such nongovernmental ethics standards, while often laudable, raise their own ethical challenges. In particular, when such standards place burdens upon vulnerable market participants (often, though not always, SMEs), they do so without the backing of traditional legitimate political authority. We argue that this constitutes a structural analogy to wars of humanitarian intervention. Moreover, we show that, while some harms imposed by such standards are desirable, (...) others are best thought of as a form of collateral damage. We thus look at the well-developed literature on just war theory for inspiration and find that the principles of jus ad bellum and jus in bello contain many insights that can be fruitfully adapted to the case of nongovernmental standard-setting. Consequently, we propose the Ius ad Normam—a set of principles that should guide would-be standard-setters in assessing whether imposing those burdens is ethically justifiable in particular cases. We also discuss how powerful multinational businesses often act simultaneously as standard-takers and standard-setters and explore the normative implications of this dual role. (shrink)

The object of our investigation is expressing necessary conditions in natural language, particularly in a certain kind of conditional sentences, the so-called Anankastic Conditionals 2, a topic brought into the linguistic discussion by the seminal papers and. A typical AC is the following sentence, Sæbø’s standard example: If you want to go to Harlem, you have to take the A train. Sæbø analyses the sentence by means of the modal theory in, according to which a modal has two contextual parameters, (...) a modal base f and an ordering source g. The modal base contains relevant facts and the ordering source contains an ideal like wishes, moral laws and the like. Normally, the antecedent of a necessity-conditional is added to the modal base. Sæbø’s new proposal for the analysis of the AC is that the antecedent without the information ‘you want’, called inner antecedent, is added to the ordering source. (shrink)

This considerably revised second edition of Wittgenstein's 1914-16 notebooks contains a new appendix with photographs of Wittgenstein's original work, a new preface by Elizabeth Anscombe, and a useful index by E.D. Klemke. Corrections have been made throughout the text, and notes have been added, making this the definitive edition of the notebooks. The writings intersperse Wittgenstein's technical logical notations with his thoughts on the meaning of life, happiness, and death. "When the first edition of this collection of remarks appeared in (...) 1961 we were provided with a glimpse of the workings of Wittgenstein's mind during the period when the seminal ideas of the _Tractatus Logico-Philosophicus_ were being worked out. This second edition provided the occasion to be struck anew by the breadth, rigor, and above all the restlessness of that mind."—T. Michael McNulty, S. J., _The Modern Schoolman_. (shrink)

Elementary geometry can be axiomatized constructively by taking as primitive the concepts of the apartness of a point from a line and the convergence of two lines, instead of incidence and parallelism as in the classical axiomatizations. I first give the axioms of a general plane geometry of apartness and convergence. Constructive projective geometry is obtained by adding the principle that any two distinct lines converge, and affine geometry by adding a parallel line construction, etc. Constructive axiomatization allows solutions to (...) geometric problems to be effected as computer programs. I present a formalization of the axiomatization in type theory. This formalization works directly as a computer implementation of geometry. (shrink)

Grundgedanke des paradigm case argument ist, Skepsis gegenüber Ansprüchen auf Tatsachenwissen durch Appell an den Sprachgebrauch zu widerlegen. Die naivsten Formen der Argumentation sind nicht schlüssig; in ihrer weiteren Verwendung und Diskussion ist sie daher in drei unterschiedHchen Richtungen modifiziert worden: durch sprachtheoretische Ergänzungen , zu ad hominem-Strategien sowie zu quasi-transzendentalphilosophischen Varianten.

Frege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege’s quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the (...) provability of an arbitrary instance. (shrink)

SummaryThis paper explicates a Constructivist Epistemology which underlies cybernetic models of perceiving and knowing. We focus on the recent work of W. T. Powers . Powers' model consists of hierarchially arranged negative feedback systems, is based on the claim that living organisms behave to control perceptions, and thus suggests that organisms construct their experiential world. We argue that this provides a basis for a modified scientific scepticism, a scepticism with a positive dimension gained by adding the notion of cognitive construction. (...) From this perspective, knowing and perceiving pertain to the construction of invariances in the living organism's experience.RésuméDans cet essai, nous exposons une épistémologie constructivistc qui sert de base pour des modèles cybernétiques de la perception et de la connaissancc. Nous nous référonts à l'œuvre de W. T. Powers qui a propose un modèle constitué par un arrangement hiérarchique de boucles rétroactives en partant de l'idée que tout comportement a pour but de contrôler les perceptions. Ce modèle suggère que le monde expérientiel est le produit d'une activité constructive. Nous défendons la thèse que cette orientation peut fournir le fondement d'un scepticisme scientifique qui acquiert un aspect positif par la notion de construction cognitive. De ce point de vue, connaissance et perception sont des activités qui construisent des invariances dans l'expérience d'un organisme.ZusammenfassungIn der vorliegenden Arbeit wird eine konstruktivistische Erkenntnistheorie entwickelt, die ihrerseits gewissen kybernetischen Modeller) der Wahrnehmurtg und Er‐kenntnis zugrundeliegt. Wir beziehen uns auf die Untersuchungen von W. T. Powers , dessen Modell aus hierarchisch angeordneten Rückkopplungssystemen besteht und auf der Annahme be‐ruht, dass das Verhalten von Lebewesen der Regelung von Wahrnehmungcn dicnt. Powers legt deshalb die Hypothese nahe, dass Organismen ihre Erlebenswelt konstru‐iren. Wir vertreten die Ansicht, dass diese die Grundlage für einen neuen wisscnschaftli‐chen Skeptizismus liefert, der auf Grund des Begriffes der kognitiven Konstruktion eine positive Dimension gewinnt. Von diesem Gesichtspunkt aus betrachtet betreffen Wissen und Wahrnehmung den aktiven Aufbau von Konstanten in der Erlebenswelt des Orga‐nismus. (shrink)

Libertarians often rely on arguments that subordinate the principle of liberty to the value of its economic consequences. This invites the question of what a pure libertarian theory of justice—one that takes liberty as its overriding concern—would look like. Grotius's political theory provides a template for such a libertarianism, but it also entails uncomfortable commitments that can be avoided only by compromising the principle of liberty. According to Grotius, each person should be free to decide how to act as long (...) as her actions do not violate the equal liberty of others. According to this principle, however, people are free to enter any contract and alienate any rights, permitting even contracts of slavery or the alienation of rights of bodily integrity. Libertarians can escape this commitment to absolute freedom of contract only by adopting ad-hoc amendments to the principle of liberty. (shrink)

Author’s Note These notes expand on remarks in my paper “A Minimal Theory of Adverbial Quantification” about the difficulties with counting situations. In May 1997, I talked about this topic in an MIT seminar on events co-taught with Irene Heim. These are the slightly updated class notes from that seminar. I have no new thoughts on the issues, but perhaps these notes are still useful. [References still to be added – for now I just appended an old list of references (...) from some class notes.]. (shrink)

According to both common wisdom and long-standing tradition, the ideal of peace is central to the morality of war. I argue that this notion is mistaken, not because peace is unachievable and utopian, though it might be for many of today’s asymmetrical conflicts; nor because the pursuit of peace is counterproductive, though, again, it might be for many of today’s conflicts; the problem, rather, is that the pursuit of peace is not a proper objective of war.

Grundgedanke des paradigm case argument ist, Skepsis gegenüber Ansprüchen auf Tatsachenwissen durch Appell an den Sprachgebrauch zu widerlegen. Die naivsten Formen der Argumentation sind nicht schlüssig; in ihrer weiteren Verwendung und Diskussion ist sie daher in drei unterschiedHchen Richtungen modifiziert worden: durch sprachtheoretische Ergänzungen (zur Rolle von Standards, Lehrbeispielen, Hinweisdefinitionen, Verwendungskriterien, semantischen Beziehungen, Unterscheidungsfunktionen), zu ad hominem-Strategien sowie zu quasi-transzendentalphilosophischen Varianten (Bedeutung impliziert Wahrheit; Sprachbenutzung impliziert Überzeugung; Sprachspielbeherrschung enthält Wissen).

Grundgedanke des paradigm case argument ist, Skepsis gegenüber Ansprüchen auf Tatsachenwissen durch Appell an den Sprachgebrauch zu widerlegen. Die naivsten Formen der Argumentation sind nicht schlüssig; in ihrer weiteren Verwendung und Diskussion ist sie daher in drei unterschiedHchen Richtungen modifiziert worden: durch sprachtheoretische Ergänzungen (zur Rolle von Standards, Lehrbeispielen, Hinweisdefinitionen, Verwendungskriterien, semantischen Beziehungen, Unterscheidungsfunktionen), zu ad hominem-Strategien sowie zu quasi-transzendentalphilosophischen Varianten (Bedeutung impliziert Wahrheit; Sprachbenutzung impliziert Überzeugung; Sprachspielbeherrschung enthält Wissen).

In lieu of an abstract, here is a brief excerpt of the content:Political AuthorityA Christian PerspectiveMichael von BrückGeneral Reflection: Apocalyptic and Utopian Models of Progress and ReligionEuropean tradition of thought is shaped by two different mythical imaginations of time structure: apocalyptic thought and the concept of utopia.Jewish apocalyptical thinking culminated in the expectation that God would finally complete the processes of history at the end of time. In conjunction with Iranian dualism this expectation was interpreted metaphysically: After the collapse of (...) the existing order God would create a messianic kingdom of peace and justice, that is, a kingdom under the direct rule of God. This was not “political progress” in the modern sense of the term, for the subject of these final events was God himself or God alone. Human beings might participate in accelerating or slowing down these divine actions by lawful or unlawful behavior—measured according to the Mosaic Law, but human historical acting itself would not lead to a betterment in this sense. Nevertheless, this form of thought gave history a direction, and this is what inspired later Jewish and Christian intentionality. Early Christianity was shaped by the expectation of the coming end of time in the immediate future; however, at the same time it added a remarkable tension to the traditional apocalyptic idea: the tension of fulfillment of time, which had happened already in the advent of Jesus as the Christ (messiah) and an expectation of the imminent completion of time (the return of Christ, which would finally end history and start the new kingdom). Since the second century ad this myth of future time became ontologized or platonized—that is, the future was transferred into an “other world.” This means that the new quality would not be a dimension of the future (only) but graspable in the ecclesiastical mediation of the sacraments. The eucharist was the pharmakon athanasias (medicine of immortality). At the same time there was a mystical dimension that holds that in a specific spiritual experience this dimension might be experienced by any person who would be prepared to receive it as divine grace. The paradigm of early Christianity failed: Christ did not return. There was no new kingdom that would have ended known history. In order to cope with this disappointment, two forms of life emerged that shaped the [End Page 159] spirit of Christianity throughout the Middle Ages, so to speak, until the end of the eighteenth century: ecclesiastical mediation of the saving reality and mystical participation in a transtemporal Beyondness.Utopia develops on the basis of difference between imagination and reality. At least structurally utopian thinking can be found in all cultures; usually it is expressed in the power of myths. This marks a difference between utopia and apocalyptics. There are three different types of utopian thinking: spatial, temporal, and in terms of different states of consciousness. Spatial utopia expects the final accomplishment or climax of history, that is, the essence of hope, in spatial terms, in different regions of the world, faraway, behind oceans or mountains (Atlantis, the country flowing with milk and honey, El Dorado, Shambhala, the islands of the blessed, etc.). These spaces lost their power of inspiring imagination because there are no more white spots on the map, and that is why this utopia had to emigrate into extraterrestrial spaces of the universe (the contemporary myths of ET, Star Wars, etc.)Temporal utopia transfers the field of expectation to the beginning of the world (paradise, Golden Age) or to the end of history (millennialistic thought, communistic utopia). These temporal expectations lost their power of inspiring imagination because the fulfillment was heralded time and again but never happened.Utopia in terms of a different state of consciousness transfers the catastrophe (the turning point of time and history) into the consciousness of human beings (the prophets of Israel, Buddha, Jesus, in a certain way Confucius, modern New Age movements, etc.). An individual or even collective awakening of consciousness in humans would transform the world from within into a new paradise. The credibility of this model is challenged by the actual suffering in the world, which does not seem to diminish.In actual history these three types occur in mixed forms. The Western idea of... (shrink)

Over the last decade, theorists have persistently criticised the assumption that the International Criminal Court (ICC) can produce a noteworthy deterrent effect. Consequently, consensus has emerged that we should probably look for different ways to justify the ICC or else abandon the prestigious project entirely. In this paper, I argue that these claims are ill founded and rest primarily on misunderstandings as to the idea of deterrence through punishment. They tend to overstate both the epistemic certainty as to and the (...) size of the deterrent effect necessary in order to thus justify punishment. I argue that we should in general expect reasonably humane punitive institutions to lead to better consequences than if we abolish punishment entirely, and I show that, contrary to widespread assumption among critics of the ICC, we should not expect the conditions characteristically surrounding mass atrocity to undermine this presumption. Properly understood, the ICC equals adding another “slice of cheese” to our comprehensive crime preventive system modelled along the lines of James Reason’s Swiss cheese model of accident causation and risk management. Undoubtedly, some future perpetrators will elope through the holes in this layer too, but others will be deterred. (shrink)

Over the last decade, theorists have persistently criticised the assumption that the International Criminal Court (ICC) can produce a noteworthy deterrent effect. Consequently, consensus has emerged that we should probably look for different ways to justify the ICC or else abandon the prestigious project entirely. In this paper, I argue that these claims are ill founded and rest primarily on misunderstandings as to the idea of deterrence through punishment. They tend to overstate both the epistemic certainty as to and the (...) size of the deterrent effect necessary in order to thus justify punishment. I argue that we should in general expect reasonably humane punitive institutions to lead to better consequences than if we abolish punishment entirely, and I show that, contrary to widespread assumption among critics of the ICC, we should not expect the conditions characteristically surrounding mass atrocity to undermine this presumption. Properly understood, the ICC equals adding another “slice of cheese” to our comprehensive crime preventive system modelled along the lines of James Reason’s Swiss cheese model of accident causation and risk management. Undoubtedly, some future perpetrators will elope through the holes in this layer too, but others will be deterred. (shrink)

The article analyses Finland’s and Norway’s female politicians’ war rhetoric with reference to the war in Afghanistan and contrasts it with Laura Bush’s rhetoric and feminism. In the Nordic countries the strong liberal and equity tradition of feminism could open up spaces for thinking differently about war, and yet the co-optation of hegemonic war rhetoric occurs in several ways. The ideograph ‘women-and-children’ is often evoked and added to the hegemonic foreign policy rhetoric without questioning the actual rhetorical work it does. (...) Gender-neutral rhetoric is used to hail into being a collective and unitary western do-gooder identity and to distance Nordic involvement from the US ‘war on terror’. The panegyric of UN Resolution 1325 facilitates the metamorphosis of the militaristic and masculine US-led NATO into a collective peacekeeper capable of saving ‘brown women from brown men’. (shrink)

Zettel is a collection of fragments which Wittgenstein cut from various of his typescripts and preserved for future use. More than half of the fragments were written in the years 1946-1948, after the completion of Part I and before the composition of Part II of the Philosophical Investigations. This collection may therefore be regarded as a companion volume to the Investigations, adding to both the scope and the Unity of Wittgenstein′s chef d′oeuvre. The fragments were kept in a box and (...) were not strictly ordered. Many have marks showing changes and improvements made after they were cut from the typescripts; some have remarks added in handwriting. Editing the collection for publication was thus a task of considerable difficulty. Since Zettel was first published, further research has been carried out on the fragments and minute comparisons have been made with their typescript and manuscript sources, revealing certain inaccuracies and misinterpretations in the first editing of the work. The second edition corrects these shortcomings and includes new explanatory footnotes; a detailed index, compiled by Stephen Amdur, has also been added. (shrink)

The contributions to this volume originate from a symposium in honour of Hermann von Helmholtz. The authors are concerned with different aspects of the inverse methodology being a powerful tool in modern science. There is emphasized its role for understanding the concept of physical observation, for interpreting experimental results and for developing constructive strategies as well.

The contributions to this volume originate from a symposium in honour of Hermann von Helmholtz. The authors are concerned with different aspects of the inverse methodology being a powerful tool in modern science. There is emphasized its role for understanding the concept of physical observation, for interpreting experimental results and for developing constructive strategies as well.

Journal of the Pali Text Society. Volumes XXII-XXIV. Ed. O. von Hinüber ad R. F. Gombrich. Pali Text Society, Oxford 1996, 1997, 1998. £17.25 each. ISBN 086013 333 8; 0 86013 356 7; 0 86913 364 8.

Sa ́d ad-DinTaftazani gilt als einer der einflussreichsten Autoren in der islamischen Geistesgeschichte des 14. Jahrhunderts. Seine theologische Einführung sowie seine Darstellung sunnitischer Theologie wurden als Standardwerke über lange Zeit für die Ausbildung von Religionsgelehrten herangezogen. In diesem Band werden Taftazani Werke im Hinblick auf philosophische Einflüsse und innertheologische Debatten untersucht, wobei die Themenfelder Auferstehungslehre, Handlungstheorie und Schöpfungslehre im Mittelpunkt stehen. Damit bietet die Arbeit nicht nur neue Erkenntnisse über einen bisher kaum erforschten Gelehrten, sondern ermöglicht auch, Genese und Form (...) eines Standardwerks der klassischen islamischen Theologie nachzuvollziehen. (shrink)

Die Reihe Islamkundliche Untersuchungen wurde 1969 im Klaus Schwarz Verlag begründet und hat sich zu einem der wichtigsten Publikationsorgane der Islamwissenschaft in Deutschland entwickelt. Die über 330 Bände widmen sich der Geschichte, Kultur und den Gesellschaften Nordafrikas, des Nahen und Mittleren Ostens sowie Zentral-, Süd- und Südost-Asiens.